powerdomain construction

功率域的构造